Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
نویسندگان
چکیده
The monadic fragments of first-order Gödel logics are investigated. It is shown that all finite-valued monadic Gödel logics are decidable; whereas, with the possible exception of one (G↑), all infinitevalued monadic Gödel logics are undecidable. For the missing case G↑ the decidability of an important sub-case, that is well motivated also from an application oriented point of view, is proven. A tight bound for the cardinality of finite models that have to be checked to guarantee validity is extracted from the proof. Moreover, monadic G↑, like all other infinite-valued logics, is shown to be undecidable if the projection operator 4 is added, while all finite-valued monadic Gödel logics remain decidable with 4.
منابع مشابه
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
We investigate satisfiability in the monadic fragment of firstorder Gödel logics. These are a family of finiteand infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing 0 and 1. We identify conditions on the topological type of V that determine the decidability or undecidability of their satisfiability problem.
متن کاملThe Boundary Between Decidability and Undecidability for Transitive-Closure Logics
To reason effectively about programs it is important to have some version of a transitive closure operator so that we can describe such notions as the set of nodes reachable from a program’s variables. On the other hand, with a few notable exceptions, adding transitive closure to even very tame logics makes them undecidable. In this paper we explore the boundary between decidability and undecid...
متن کاملDecidability of order-based modal logics
Decidability of the validity problem is established for a family of many-valued modal logics, notably modal logics based on Gödel logics, where propositional connectives are evaluated locally at worlds according to the order of values in a complete sublattice of the real unit interval, and box and diamond modalities are evaluated as infima and suprema of values in (many-valued) Kripke frames. W...
متن کاملA Finite Model Property for Gödel Modal Logics
A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NPcompleteness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل